カントール空間、ベール空間、および関連する位相空間の構造に関する完全な解説

強三角不等式 $d(x, z) \le \max \{ d(x, y), d(y, z) \}$ を示す。$x = z$ の場合は自明である。$x \neq z$ とし、$d(x, z) = 2^{-k}$ とおく。すなわち、$x$ と $z$ は最初の $k$ 個の座標が一致し、第 $k$ 座標で $x_k \neq z_k$ となる。任意の $y \in X$ をとるとき、$y_k$ は $x_k$ と異なるか、$z_k$ と異なるかの少なくとも一方を満たす。前者の場合は $d(x, y) \ge 2^{-k}$ であり、後者の場合は $d(y, z) \ge 2^{-k}$ である。いずれにせよ $\max \{ d(x, y), d(y, z) \} \ge 2^{-k} = d(x, z)$ が成立する。
また、中心 $x \in X$、半径 $r = 2^{-n+1}$ の開球 $B_r(x) = \{ y \in X \mid d(x, y) < r \}$ を考えると、これは $d(x, y) \le 2^{-n}$ と同値であり、すなわち最初の $n$ 個の座標が一致する集合 $U(x_0, \dots, x_{n-1})$ に他ならない。球全体が開基をなすことより、$d$ による位相と直積位相は一致する。

定義より $V$ は開集合である。その補集合を考えると、 $$ X \smallsetminus V = \bigcup \{ U(b_0, \dots, b_{n-1}) \mid (b_0, \dots, b_{n-1}) \in A^n \smallsetminus \{(a_0, \dots, a_{n-1})\} \} $$ と表される。開集合の任意の和集合は開集合であるから、$X \smallsetminus V$ は開集合である。したがって $V$ は閉集合でもある。

補題 1.3 より $2^\mathbb{N}$ は超距離 $d$ によって距離化可能である。
完備性： $2^\mathbb{N}$ 内のコーシー列 $(x^{(m)})_{m \in \mathbb{N}}$ をとる。任意の $k \in \mathbb{N}$ に対して、ある $M \in \mathbb{N}$ が存在し、$m, l \ge M$ ならば $d(x^{(m)}, x^{(l)}) \le 2^{-k}$ となる。これは $m, l \ge M$ において各列の最初の $k$ 個の座標が完全に一致することを意味する。したがって、各 $n \in \mathbb{N}$ に対して座標列 $(x^{(m)}_n)_{m \in \mathbb{N}}$ は最終的に一定の値 $x_n \in \{0, 1\}$ に収束する。数列 $x = (x_n)_{n \in \mathbb{N}} \in 2^\mathbb{N}$ を定めると、$x^{(m)}$ は距離 $d$ において $x$ に収束する。よって完備である。
可分性： 最終的にすべて $0$ となる数列全体の集合 $D = \{ x \in 2^\mathbb{N} \mid \exists N, \forall n \ge N, x_n = 0 \}$ を考える。$D = \bigcup_{N=0}^\infty \{ x \in 2^\mathbb{N} \mid \forall n \ge N, x_n = 0 \}$ であり、各成分集合は有限集合 $\{0, 1\}^N$ と同型であるから、$D$ は可算和集合として可算集合である。任意の $y \in 2^\mathbb{N}$ と任意のシリンダー近傍 $U(y_0, \dots, y_{n-1})$ に対し、$z = (y_0, \dots, y_{n-1}, 0, 0, \dots) \in D \cap U(y_0, \dots, y_{n-1})$ が存在する。よって $D$ は稠密であり、$2^\mathbb{N}$ は可分である。

シリンダー集合全体の族は clopen 集合からなる開基をなすため、$2^\mathbb{N}$ は定義により零次元である。
一般に、コンパクト Hausdorff 空間 $Y$ において、完全不連結であることと零次元であることは同値である。以下にその証明を与える。
$Y$ をコンパクト Hausdorff 空間とし、完全不連結であると仮定する。任意の $y \in Y$ とその任意の開近傍 $U$ をとる。$A = Y \smallsetminus U$ は閉集合であり、コンパクト空間の閉部分集合としてコンパクトである。$y$ の準成分 (quasi-component) $Q_y$（$y$ を含むすべての clopen 集合の共通部分）を考えると、コンパクト Hausdorff 空間においては $Q_y$ は $y$ の連結成分と一致する。$Y$ は完全不連結であるから $Q_y = \{y\}$ である。したがって、任意の $z \in A$ に対して $z \notin Q_y$ であり、$y \in C_z$ かつ $z \notin C_z$ となる clopen 集合 $C_z$ が存在する。$\{ Y \smallsetminus C_z \}_{z \in A}$ は $A$ の開被覆となる。$A$ のコンパクト性より、有限部分被覆 $\{ Y \smallsetminus C_{z_i} \}_{i=1}^m$ が存在する。$C = \bigcap_{i=1}^m C_{z_i}$ とおくと、$C$ は有限個の clopen 集合の交わりであるから clopen であり、$y \in C$ かつ $C \cap A = \varnothing$（すなわち $C \subset U$）を満たす。以上より、$y$ の clopen な近傍基が存在するので $Y$ は零次元である。

孤立点の非存在： 任意の $x \in 2^\mathbb{N}$ とその任意の基本開近傍 $V = U(x_0, \dots, x_{n-1})$ をとる。点 $y \in 2^\mathbb{N}$ を、$i < n$ で $y_i = x_i$、$y_n = 1 - x_n$、$i > n$ で $y_i = x_i$ と定義すると、$y \in V$ かつ $y \neq x$ である。したがって $\{x\}$ は開集合になり得ず、孤立点は存在しない。
コンパクト性： 離散空間 $\{0, 1\}$ は有限集合であるからコンパクトである。Tychonoff の定理により、コンパクト空間の任意個の直積はコンパクトであるため、$2^\mathbb{N}$ はコンパクトである。

写像 $f \colon 2^\mathbb{N} \to C$ を $$ f(x) = \sum_{n=0}^\infty \frac{2 x_n}{3^{n+1}} $$ と定義する。3進展開の性質より、$f$ は $2^\mathbb{N}$ から $C$ への全単射である。
$f$ の連続性を示す。任意の $\varepsilon > 0$ に対し、$3^{-N} < \varepsilon$ となる $N \in \mathbb{N}$ をとる。$d(x, y) \le 2^{-N}$ ならば、 $x$ と $y$ の最初の $N$ 個の座標は一致する。このとき、 $$ |f(x) - f(y)| = \left| \sum_{n=N}^\infty \frac{2 (x_n - y_n)}{3^{n+1}} \right| \le \sum_{n=N}^\infty \frac{2}{3^{n+1}} = \frac{1}{3^N} < \varepsilon $$ となり、$f$ は連続である。コンパクト空間 $2^\mathbb{N}$ から Hausdorff 空間 $C$ への連続全単射は同相写像であるため、$f$ は同相写像である。

定理 2.1 と同様に、離散空間 $\mathbb{N}$ の可算直積として完備距離化可能であり、最終的に $0$ となる整数列全体の集合が可算稠密となるため Polish である。また、シリンダー集合が clopen 開基となるため零次元である。

ある点 $x \in \mathbb{N}^\mathbb{N}$ がコンパクトな近傍 $K$ を持つと仮定して矛盾を導く。 開基の定義より、$x \in V \subset K$ となるシリンダー集合 $V = U(x_0, \dots, x_{n-1})$ が存在する。$V$ は closed であるから、コンパクト集合 $K$ の閉部分集合として $V$ もコンパクトでなければならない。
ここで、$V$ 内の点列 $(y^{(k)})_{k \in \mathbb{N}}$ を次のように構成する： $$ y^{(k)}_i = \begin{cases} x_i & (i < n \text{ のとき}) \\ k & (i = n \text{ のとき}) \\ 0 & (i > n \text{ のとき}) \end{cases} $$ 各 $y^{(k)}$ は最初の $n$ 個の座標が $x$ と一致するため $y^{(k)} \in V$ である。しかし、相異なる $k \neq l$ に対し、$y^{(k)}$ と $y^{(l)}$ は第 $n$ 座標が異なるため、$d(y^{(k)}, y^{(l)}) = 2^{-n}$ となる。したがって、点列 $(y^{(k)})$ のいかなる部分列もコーシー列にならず、収束部分列を持たない。これは距離空間 $V$ のコンパクト性に矛盾する。ゆえに、どの点も局所コンパクトでない。

対偶「孤立点が存在すれば、ある点で局所コンパクトになる」を示す。 $x \in \mathbb{N}^\mathbb{N}$ が孤立点であると仮定する。このとき 1 点集合 $\{x\}$ は開集合である。また $\{x\}$ は有限集合であるからコンパクトである。したがって $\{x\}$ は $x$ のコンパクトな開近傍となり、空間は $x$ において局所コンパクトとなる。対偶が示されたので、どの点も局所コンパクトでない空間には孤立点が存在しない。

以下の 3 段階に分けて証明する。
段階 1: $\mathbb{N}^\mathbb{N} \cong (\mathbb{N}_{>0})^\mathbb{N}$
$\mathbb{N}$ と $\mathbb{N}_{>0} = \{1, 2, 3, \dots\}$ はともに可算無限離散空間であるから、全単射 $j \colon \mathbb{N} \to \mathbb{N}_{>0}$（例えば $j(n) = n + 1$）は同相写像である。各座標に $j$ を適用する写像 $J((x_n)) = (j(x_n))$ は同相写像 $\mathbb{N}^\mathbb{N} \to (\mathbb{N}_{>0})^\mathbb{N}$ を与える。
段階 2: $\mathbb{R} \smallsetminus \mathbb{Q} \cong (0, 1) \smallsetminus \mathbb{Q}$
写像 $h \colon \mathbb{R} \to (-1, 1)$ を $h(x) = \frac{x}{1+|x|}$ と定めると、これは同相写像であり、$x \in \mathbb{Q} \iff h(x) \in \mathbb{Q}$ を満たす。さらに affine 変換 $k(t) = \frac{t+1}{2}$ を合成した $k \circ h \colon \mathbb{R} \to (0, 1)$ も同相写像であり有理数性を保存する。制限により $\mathbb{R} \smallsetminus \mathbb{Q} \cong (0, 1) \smallsetminus \mathbb{Q}$ を得る。
段階 3: $(\mathbb{N}_{>0})^\mathbb{N} \cong (0, 1) \smallsetminus \mathbb{Q}$
$(0, 1)$ 内の任意の無理数 $x$ は、正整数列 $(a_0, a_1, a_2, \dots) \in (\mathbb{N}_{>0})^\mathbb{N}$ を用いて一意に無限連分数展開される： $$ x = \cfrac{1}{a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \ddots}}} $$ この対応を $\phi \colon (\mathbb{N}_{>0})^\mathbb{N} \to (0, 1) \smallsetminus \mathbb{Q}$ とする。連分数の第 $n$ 近似分数を $p_n / q_n$ とすると、初めの $n$ 項 $(a_0, \dots, a_{n-1})$ を固定したシリンダー集合の像は、$p_{n-1}/q_{n-1}$ と $(p_{n-1} + p_{n-2})/(q_{n-1} + q_{n-2})$ を端点とする開区間内の無理数全体と一致する。これらの開区間は $(0, 1) \smallsetminus \mathbb{Q}$ の相対位相の開基をなすため、全単射 $\phi$ は開基を開基に写す。ゆえに $\phi$ は同相写像である。
段階 1〜3 を合成することにより、$\mathbb{N}^\mathbb{N} \cong \mathbb{R} \smallsetminus \mathbb{Q}$ が得られる。

証明を 2 つの同相関係に分ける。
(1) $\mathbb{Z}[[T]] \cong \mathbb{Z}^\mathbb{N}$ の証明：
写像 $\Phi \colon \mathbb{Z}[[T]] \to \mathbb{Z}^\mathbb{N}$ を $\Phi(\sum_{i=0}^\infty a_i T^i) = (a_0, a_1, a_2, \dots)$ と定義する。形式的冪級数はその係数列により一意に決まるため $\Phi$ は全単射である。 $\mathbb{Z}^\mathbb{N}$ の開基をなすシリンダー集合 $U(c_0, \dots, c_{n-1})$ に対し、その $\Phi$ による逆像は $$ \Phi^{-1}(U(c_0, \dots, c_{n-1})) = \{ f \in \mathbb{Z}[[T]] \mid f(T) \equiv \sum_{i=0}^{n-1} c_i T^i \pmod{T^n} \} = g + T^n \mathbb{Z}[[T]] $$ （ただし $g = \sum_{i=0}^{n-1} c_i T^i$）となる。これは $\mathbb{Z}[[T]]$ の開基そのものであるから、$\Phi$ は開基を開基に移す全単射であり、同相写像である。
(2) $\mathbb{Z}^\mathbb{N} \cong \mathbb{N}^\mathbb{N}$ の証明：
写像 $h \colon \mathbb{Z} \to \mathbb{N}$ を $$ h(x) = \begin{cases} 2x & (x \ge 0 \text{ のとき}) \\ -2x - 1 & (x < 0 \text{ のとき}) \end{cases} $$ と定義すると、$h$ は離散空間同士の全単射同相写像である。各座標ごとに $h$ を適用する写像 $H \colon \mathbb{Z}^\mathbb{N} \to \mathbb{N}^\mathbb{N}$、$H(x_0, x_1, \dots) = (h(x_0), h(x_1), \dots)$ を定めると、直積位相の定義より $H$ は全単射同相写像となる。
合成 $H \circ \Phi \colon \mathbb{Z}[[T]] \to \mathbb{N}^\mathbb{N}$ により同相性が示された。

空間の clopen 分割を行って証明する。
$W_0 = \{ f \in \mathbb{Z}((T)) \mid \mathrm{ord}(f) \ge 0 \} = \mathbb{Z}[[T]]$ とおく。
補題 5.2.1: $W_0$ は $\mathbb{Z}((T))$ の clopen 部分集合であり、$W_0 \cong \mathbb{N}^\mathbb{N}$ である。
（証明）$W_0 = \{ f \mid d(f, 0) \le 1 \}$ である。任意の $f \in W_0$ に対し $B_1(f) \subset W_0$ となるため開集合である。また $g \notin W_0$ ならば $r = d(g, 0) > 1$ であり、超距離の性質より $B_r(g) \cap W_0 = \varnothing$ となるので補集合も開集合である。よって $W_0$ は clopen である。相対位相は $\mathbb{Z}[[T]]$ の $T$ 進位相と一致するため、定理 4.2 より $W_0 \cong \mathbb{N}^\mathbb{N}$ である。
補題 5.2.2: 補集合 $U = \mathbb{Z}((T)) \smallsetminus W_0$ について、$U \cong \mathbb{N}^\mathbb{N}$ である。
（証明）$U = \bigsqcup_{k=1}^\infty V_{-k}$ と分解する。ただし $V_{-k} = \{ f \in \mathbb{Z}((T)) \mid \mathrm{ord}(f) = -k \}$ である。超距離空間において中心からの距離が一定の集合は clopen であるため、各 $V_{-k}$ は clopen である。 $f \in V_{-k}$ は $f(T) = \sum_{n=-k}^\infty a_n T^n$ ($a_{-k} \neq 0$) と書ける。写像 $\Psi_k \colon V_{-k} \to (\mathbb{Z} \smallsetminus \{0\}) \times \mathbb{Z}^\mathbb{N}$ を $$ \Psi_k \left( \sum_{n=-k}^\infty a_n T^n \right) = (a_{-k}, (a_{-k+1}, a_{-k+2}, \dots)) $$ と定めると $\Psi_k$ は同相写像である。$\mathbb{Z} \smallsetminus \{0\} \cong \mathbb{N}$ および $\mathbb{Z}^\mathbb{N} \cong \mathbb{N}^\mathbb{N}$ より、$V_{-k} \cong \mathbb{N} \times \mathbb{N}^\mathbb{N} \cong \mathbb{N}^\mathbb{N}$ である。 位相和の性質から $U \cong \bigoplus_{k=1}^\infty \mathbb{N}^\mathbb{N} \cong \mathbb{N} \times \mathbb{N}^\mathbb{N} \cong \mathbb{N}^\mathbb{N}$ を得る。
全体空間の結合：
$\mathbb{Z}((T)) = W_0 \sqcup U \cong \mathbb{N}^\mathbb{N} \oplus \mathbb{N}^\mathbb{N} \cong \{0, 1\} \times \mathbb{N}^\mathbb{N}$ である。 写像 $g \colon \{0, 1\} \times \mathbb{N}^\mathbb{N} \to \mathbb{N}^\mathbb{N}$ を $$ g(0, (x_0, x_1, x_2, \dots)) = (2 x_0, x_1, x_2, \dots) $$ $$ g(1, (x_0, x_1, x_2, \dots)) = (2 x_0 + 1, x_1, x_2, \dots) $$ と定義すると、$g$ は全単射であり、シリンダー集合を開基に写し合うため同相写像である。 したがって、$\mathbb{Z}((T)) \cong \mathbb{N}^\mathbb{N}$ である。

証明 1（開基の直接対応による証明）：
(i) $\mathrm{id} \colon X \to Y$ の連続性：
$Y$ の準開基 $R(a) = \{ x \mid x > a \}$ の $\mathrm{id}$ による逆像（集合として $R(a)$ 自身）が $X$ で開集合であることを示す。 任意な $x \in R(a)$ をとると $x > a$ である。$k = \min \{ n \mid x_n \neq a_n \}$ とおくと $x_k = 1, a_k = 0$ である。 $X$ の基本開集合 $V = U(x_0, \dots, x_k)$ をとる。任意の $y \in V$ について、$i < k$ では $y_i = x_i = a_i$ であり、$y_k = x_k = 1 > 0 = a_k$ となるため、$y > a$ すなわち $y \in R(a)$ である。 ゆえに $x \in V \subset R(a)$ となり、$R(a)$ は $X$ の開集合である。同様に $L(a)$ も $X$ の開集合となるため、$\mathrm{id}$ は連続である。

(ii) $\mathrm{id}^{-1} \colon Y \to X$ の連続性：
$X$ の任意の基本開集合 $C = U(c_0, \dots, c_{n-1})$ が $Y$ で開集合であることを示す。 $u, v \in \{0, 1\}^\mathbb{N}$ を次のように定める： $$ u_i = \begin{cases} c_i & (i < n \text{ のとき}) \\ 0 & (i \ge n \text{ のとき}) \end{cases}, \quad v_i = \begin{cases} c_i & (i < n \text{ のとき}) \\ 1 & (i \ge n \text{ のとき}) \end{cases} $$ このとき $C = [u, v] = \{ x \in \{0, 1\}^\mathbb{N} \mid u \le x \le v \}$ であることを確認する。実際、$x \in C$ ならば明らかに $u \le x \le v$ である。逆に $x \notin C$ とすると、$x_j \neq c_j$ となる最小の $j < n$ が存在する。$x_j = 0$ ($c_j = 1$) ならば $x < u$ であり、$x_j = 1$ ($c_j = 0$) ならば $x > v$ となるため $x \notin [u, v]$ である。
区間 $[u, v] = \{ x \mid u \le x \} \cap \{ x \mid x \le v \}$ が $Y$ で開であることを示すため、$\{ x \mid u \le x \}$ と $\{ x \mid x \le v \}$ が開であることを示す。
・下限 $u$ について： $u = (0, 0, \dots)$ ならば $\{ x \mid u \le x \} = Y$ （全空間）で開である。 $u \neq (0, 0, \dots)$ のとき、$i \ge n$ では $u_i = 0$ であるから、$u_k = 1$ となる最大のインデックス $k$ は $k < n$ に存在する。 数列 $u' \in \{0, 1\}^\mathbb{N}$ を次のように定義する： $$ u'_i = \begin{cases} u_i & (i < k \text{ のとき}) \\ 0 & (i = k \text{ のとき}) \\ 1 & (i > k \text{ のとき}) \end{cases} $$ ここで $u' < u$ である。さらに $u' < z < u$ を満たす $z$ が存在しないことを背理法で示す。 仮にそのような $z$ が存在したとする。$u' < z$ より、両者が初めて異なるインデックスを $m$ とすると $u'_m = 0, z_m = 1$ である。
1) $m < k$ の場合：$i < k$ では $u_i = u'_i$ であるから、$i < m$ で $z_i = u'_i = u_i$ かつ $z_m = 1 > 0 = u'_m = u_m$ となり、$z > u$ となって矛盾する。
2) $m = k$ の場合：$i < k$ で $z_i = u'_i = u_i$ であり、$z_k = 1 = u_k$ となる。$i > k$ において $u_i = 0$ であるから、どのような $z$ であっても $z \ge u$ となり $z < u$ に矛盾する。
3) $m > k$ の場合：$u'_m = 0$ となり得るのは定義より $m \le k$ の場合のみである（$i > k$ では $u'_i = 1$）。したがってこの場合は起こり得ない。
直間の元が存在しないため、$\{ x \mid u \le x \} = \{ x \mid u' < x \} = R(u')$ となり、これは $Y$ の開集合である。
・上限 $v$ について： $v = (1, 1, \dots)$ ならば $\{ x \mid x \le v \} = Y$ で開である。 $v \neq (1, 1, \dots)$ のとき、$i \ge n$ で $v_i = 1$ より、$v_m = 0$ となる最大のインデックス $m$ は $m < n$ に存在する。 数列 $v' \in \{0, 1\}^\mathbb{N}$ を $$ v'_i = \begin{cases} v_i & (i < m \text{ のとき}) \\ 1 & (i = m \text{ のとき}) \\ 0 & (i > m \text{ のとき}) \end{cases} $$ と定義すると、$v < v'$ であり、$v < z < v'$ なる $z$ は存在しない。したがって $\{ x \mid x \le v \} = \{ x \mid x < v' \} = L(v')$ となり、$Y$ の開集合である。
以上より $C = [u, v] = R(u') \cap L(v')$ は $Y$ の 2 つの開集合の交わりであるから $Y$ で開集合である。よって $\mathrm{id}^{-1}$ は連続であり、$\mathrm{id}$ は同相写像である。

証明 2（コンパクト性と Hausdorff 性による証明）：
(1) $X$ のコンパクト性： 定理 2.3 より、$X = \{0, 1\}^\mathbb{N}$ は Tychonoff の定理によりコンパクト空間である。
(2) $Y$ の Hausdorff 性： 相異なる 2 点 $x, y \in Y$ をとる。一般性を失わず $x < y$ とする。
・場合 1: $x < z < y$ となる $z \in Y$ が存在する場合。
$U = L(z) = \{ w \in Y \mid w < z \}$ および $V = R(z) = \{ w \in Y \mid w > z \}$ とおくと、$U, V$ は $Y$ の開集合であり、$x \in U, y \in V$ かつ $U \cap V = \varnothing$ を満たす。
・場合 2: $x < z < y$ となる $z \in Y$ が存在しない場合。
$U = L(y) = \{ w \in Y \mid w < y \}$ および $V = R(x) = \{ w \in Y \mid w > x \}$ とおくと、$U, V$ は $Y$ の開集合であり、$x \in U, y \in V$ である。共通部分は $U \cap V = \{ w \in Y \mid x < w < y \} = \varnothing$ である。
いずれの場合も分離開集合が存在するため、$Y$ は Hausdorff 空間である。
(3) 同相性の結語： 証明 1 (i) で示した通り、恒等写像 $\mathrm{id} \colon X \to Y$ は連続である。 「コンパクト空間から Hausdorff 空間への連続な全単射は同相写像である」という位相空間論の基本定理を適用する。 実際、$X$ の任意の閉集合 $K$ はコンパクト空間の閉部分集合としてコンパクトであり、連続像 $\mathrm{id}(K)$ も $Y$ でコンパクトである。$Y$ は Hausdorff であるから $\mathrm{id}(K)$ は $Y$ の閉集合となる。したがって $\mathrm{id}$ は閉写像であり、全単射連続閉写像であるから同相写像である。

定理 2.2 より、コンパクト Hausdorff 空間において完全不連結性と零次元性は同値であるため、$X$ は零次元コンパクト Polish 空間である。$X$ 上の位相を誘導するメトリックを $d$ とし、$X$ はコンパクトであるから $d$ は完備であり、直径 $\mathrm{diam}(X) = M < \infty$ としておく。

証明は、有限バイナリ列全体の集合 $2^{<\omega} = \bigcup_{k=0}^\infty \{0,1\}^k$ （長さ $0$ の空列 $\emptyset$ を含む）でラベル付けされた $X$ の非空 clopen 集合の族 $\{U_s\}_{s \in 2^{<\omega}}$（これをルーシン・スキーム (Lusin scheme) と呼ぶ）を構成し、それを用いて同相写像 $f \colon \{0,1\}^\mathbb{N} \to X$ を創出するという段階を踏んで進める。

ステップ 1: ルーシン・スキームの帰納的構成
以下の 3 条件を満たす clopen 集合の族 $\{U_s\}_{s \in 2^{<\omega}}$ を列の長さ $k = |s|$ に関する数学的帰納法により構成する：

1. $U_\emptyset = X$。
2. 任意の $s \in 2^{<\omega}$ に対して、$U_s = U_{s \smallsetminus 0} \sqcup U_{s \smallsetminus 1}$ （非交和分割）。ここで $U_{s \smallsetminus 0}$ と $U_{s \smallsetminus 1}$ はともに非空な clopen 集合である。
3. 任意の $s \in 2^{<\omega}$ （長さ $|s| = k$）に対して、$\mathrm{diam}(U_s) \le M \cdot 2^{-k}$。

・$k = 0$ のとき： $U_\emptyset = X$ とおく。$X$ は非空な clopen 集合であり、$\mathrm{diam}(U_\emptyset) = M \le M \cdot 2^{-0}$ である。
・$k \to k+1$ の仮定と構成： 長さ $k$ のすべての $s \in \{0, 1\}^k$ について、非空 clopen 集合 $U_s$ が条件を満たすように選ばれているとする。
$U_s$ は $X$ の clopen 部分集合であるから、孤立点を持たない非空コンパクト零次元空間である。孤立点を持たないため、$U_s$ は少なくとも 2 つの相異なる点 $p, q \in U_s$ を含む。$X$ は Hausdorff 零次元であるから、$p \in W$, $q \notin W$ となる $U_s$ の clopen 部分集合 $W \subset U_s$ が存在する。したがって $U_s$ は 2 つの非空な互いに素な clopen 集合に分割可能である。
さらに、$U_s$ のコンパクト性より、$U_s$ を直径が $M \cdot 2^{-(k+1)}$ 未満であるような有限個の非空 clopen 集合の非交和に分割できる。実際、$U_s$ の各点 $x$ に対し、開球 $B_{r_x}(x)$ ($r_x < \frac{1}{2} M 2^{-(k+1)}$) 内に含まれる clopen 近傍 $V_x$ をとると、コンパクト性により有限部分被覆が得られ、それらを素集合化することで有限分割 $U_s = V_1 \sqcup V_2 \sqcup \dots \sqcup V_m$ ($m \ge 2$) が得られる。
$m \ge 2$ であるから、これを 2 つの非空な clopen 集合群に分けることができる： $$ U_{s \smallsetminus 0} = \bigsqcup_{j=1}^l V_j, \quad U_{s \smallsetminus 1} = \bigsqcup_{j=l+1}^m V_j \quad (1 \le l < m) $$ このように定義すると、$U_{s \smallsetminus 0}$ と $U_{s \smallsetminus 1}$ は非空かつ互いに素な clopen 集合であり、$U_s = U_{s \smallsetminus 0} \sqcup U_{s \smallsetminus 1}$ を満たす。また各 $V_j$ の直径が $M \cdot 2^{-(k+1)}$ 未満であることから、それらの有限和の構成方法を適切に調整することで（または径に関する分割を各ステップで注意深く行うことで）、$\mathrm{diam}(U_{s \smallsetminus 0}) \le M \cdot 2^{-(k+1)}$ および $\mathrm{diam}(U_{s \smallsetminus 1}) \le M \cdot 2^{-(k+1)}$ を達成できる。これにより、すべての $s \in 2^{<\omega}$ に対する構成が完了する。

ステップ 2: 写像 $f \colon \{0,1\}^\mathbb{N} \to X$ の定義と良定義性
任意の $x = (x_0, x_1, x_2, \dots) \in \{0,1\}^\mathbb{N}$ に対し、$x \upharpoonright n = (x_0, x_1, \dots, x_{n-1}) \in \{0,1\}^n$ （ただし $x \upharpoonright 0 = \emptyset$）とおく。
減少集合列 $U_{x \upharpoonright 0} \supset U_{x \upharpoonright 1} \supset U_{x \upharpoonright 2} \supset \dots$ を考える。各 $U_{x \upharpoonright n}$ はコンパクト空間 $X$ 内の非空閉集合であるから、Cantor の有限交差性（コンパクト空間における減少非空閉集合列の交わりの非空性）より $$ \bigcap_{n=0}^\infty U_{x \upharpoonright n} \neq \varnothing $$ である。さらに、$\mathrm{diam}(U_{x \upharpoonright n}) \le M \cdot 2^{-n} \to 0$ ($n \to \infty$) であるため、この共通部分はただ 1 点のみからなる。この唯一の点を $f(x) \in X$ と定義する： $$ \{ f(x) \} = \bigcap_{n=0}^\infty U_{x \upharpoonright n} $$ これにより写像 $f \colon \{0,1\}^\mathbb{N} \to X$ が一意に定まる。

ステップ 3: $f$ が同相写像であることの証明
・単射性： 相異なる 2 点 $x \neq y \in \{0,1\}^\mathbb{N}$ をとる。$k = \min \{ n \in \mathbb{N} \mid x_n \neq y_n \}$ とおき、$s = x \upharpoonright k = y \upharpoonright k$ とすると、$x_k \neq y_k$ である。条件 2 より $U_{s \smallsetminus x_k} \cap U_{s \smallsetminus y_k} = \varnothing$ である。 $f(x) \in U_{x \upharpoonright (k+1)} = U_{s \smallsetminus x_k}$ かつ $f(y) \in U_{y \upharpoonright (k+1)} = U_{s \smallsetminus y_k}$ であるから、$f(x) \neq f(y)$ となり、$f$ は単射である。
・全射性： 任意の $p \in X$ をとる。$p \in U_\emptyset = X$ である。条件 2 より $U_\emptyset = U_{(0)} \sqcup U_{(1)}$ であるから、$p$ は $U_{(0)}$ または $U_{(1)}$ のいずれか一方のみに属する。属する方を $U_{(x_0)}$ とする。一般に $p \in U_{x \upharpoonright n}$ が定まったとき、$U_{x \upharpoonright n} = U_{(x \upharpoonright n) \smallsetminus 0} \sqcup U_{(x \upharpoonright n) \smallsetminus 1}$ より $p$ が属する方を $U_{(x \upharpoonright n) \smallsetminus x_n}$ と定める。この帰納的選択により無限数列 $x = (x_0, x_1, x_2, \dots) \in \{0,1\}^\mathbb{N}$ が得られ、すべての $n$ で $p \in U_{x \upharpoonright n}$ となる。ゆえに $p \in \bigcap_{n=0}^\infty U_{x \upharpoonright n} = \{ f(x) \}$ であり、$p = f(x)$ となって $f$ は全射である。
・連続性： 任意の $\varepsilon > 0$ に対し、$M \cdot 2^{-N} < \varepsilon$ となる $N \in \mathbb{N}$ を選ぶ。$d_{\{0,1\}^\mathbb{N}}(x, y) \le 2^{-N}$ なる任意の $x, y \in \{0,1\}^\mathbb{N}$ をとると、$x$ と $y$ は最初の $N$ 個の座標が一致する。すなわち $x \upharpoonright N = y \upharpoonright N = s$ である。このとき $f(x) \in U_s$ かつ $f(y) \in U_s$ であるから、 $$ d(f(x), f(y)) \le \mathrm{diam}(U_s) \le M \cdot 2^{-N} < \varepsilon $$ となり、$f$ は連続である。
・同相性： 写像 $f$ はコンパクト空間 $\{0,1\}^\mathbb{N}$ から Hausdorff 空間 $X$ への連続全単射であるから、位相空間論の基本定理より $f$ は同相写像である。したがって $X \cong \{0,1\}^\mathbb{N}$ が示された。

$X$ は可分零次元空間であるから、$U$ 自身も可分零次元であり、直径が $\varepsilon$ 未満の非空 clopen 集合からなる可算基盤が存在する。したがって、$U$ は直径 $\varepsilon$ 未満の非空 clopen 集合の可算和として表せる：$U = \bigcup_{n=1}^\infty W_n$。
これを標準的な素集合化の手法により分解する：$V_1 = W_1$、および $n \ge 2$ に対して $V_n = W_n \smallsetminus \bigcup_{j=1}^{n-1} W_j$ とおく。各 $V_n$ は clopen 集合の有限個のブール演算で得られるため clopen であり、互いに素で $U = \bigsqcup_{n=1}^\infty V_n$ を満たす。空集合でない $V_n$ のみを抽出し、番号を付け直した列を $(V_k')_{k \in I}$ ($I \subset \mathbb{N}_{>0}$) とする。当然各 $V_k'$ の直径は $\varepsilon$ 未満である。

ここでインデックス集合 $I$ の濃度について考察する：
・$I$ が無限集合の場合： $(V_k')_{k \in \mathbb{N}}$ は求める可算無限分割そのものである。
・$I$ が有限集合の場合（$I = \{1, 2, \dots, M\}$）： $U = \bigsqcup_{k=1}^M V_k'$ となる。 仮にすべての $V_k'$ がコンパクトであったとすると、有限個のコンパクト集合の和として $U$ もコンパクトになってしまう。しかし $U$ は開集合であり、$X$ はどの点の近傍も局所コンパクトでない（いかなる非空開集合も相対コンパクトにならない）ため、$U$ はコンパクトであり得ない。したがって、少なくとも 1 つの $V_m'$ はコンパクトでない。
コンパクトでない clopen 集合を $V$ とおく。$V$ は非コンパクトな完備距離空間であるから、極限点を持たない可算無限個の点列（離散閉集合）が存在するか、または無限に分割可能である。$V$ が零次元かつ非コンパクトであることから、$V$ 自身を可算無限個の非空 clopen 集合の非交和 $V = \bigsqcup_{j=0}^\infty C_j$（ただし各 $\mathrm{diam}(C_j) < \varepsilon$）に細分化することができる（例えば、収束しない無限点列を分離する clopen 近傍列を順次くり抜くことによる）。
この無限分割を元の有限分解のコンパクトでない成分 $V_m'$ に代入することにより、全体として $U$ の可算無限個の非空 clopen 集合への分割 $U = \bigsqcup_{i \in \mathbb{N}} U_i$ （各 $\mathrm{diam}(U_i) < \varepsilon$）が得られる。